max [ Y , max $partialdiff sub Y$ $integral dX$ $integral dY$ ( WORLDBATH bath ) ]